Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Guillaume Burel »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Guillaume Boutard < Guillaume Burel < Guillaume Cabanac  Facettes :

List of bibliographic references indexed by Guillaume Burel

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
001601 (2013) Guillaume Burel [France] ; Simon Cruanes [France]Detection of First Order Axiomatic Theories
002700 (2011) Guillaume Burel [France]Experimenting with Deduction Modulo
003171 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion
003665 (2009-03-23) Guillaume Burel [France]Good proofs in deduction modulo
003995 (2009) Guillaume BurelAutomating Theories in Intuitionistic Logic
003F75 (2008-06) Guillaume Burel [France]A First-Order Representation of Pure Type Systems Using Superdeduction
004014 (2008-05-09) Guillaume Burel [France]Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
004898 (2007-06-04) Guillaume Burel [France] ; Claude Kirchner [France]Cut Elimination in Deduction Modulo by Abstract Completion
004B56 (2007) Guillaume Burel [France]Unbounded Proof-Length Speed-Up in Deduction Modulo
005103 (2006-06) Guillaume Burel [France] ; Claude Kirchner [France]Completion is an Instance of Abstract Canonical System Inference
005618 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
005D90 (2005) Guillaume Burel ; Claude KirchnerCompletion is an Instance of Abstract Canonical System Inference
006040 (2005) Guillaume BurelSystèmes Canoniques Abstraits : Application à la Déduction Naturelle et à la Complétion
006396 (2005) Guillaume Burel [France]Systèmes Canoniques Abstraits : Application à la Déduction Naturelle et à la Complétion
007828 (2003) Guillaume BurelLogique Equationnelle et probabilités selon Halpern
007C39 (2003) Guillaume Burel [France]Logique Equationnelle et probabilités selon Halpern

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Guillaume Burel" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Guillaume Burel" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Guillaume Burel
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022